1. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
2. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
3. Combinatorial Set Theory
پدیدآورنده: \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
4. Combinatorial algorithms :
پدیدآورنده: Charles J. Colbourn, Roberto Grossi, Nadia Pisanti (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses.,Combinatorial analysis, Congresses.,Algorithms.,Combinatorial analysis.
رده :
QA164
.
I58
2019
5. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
QA
,
248
,.
H238
,
2012
6. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
7. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
8. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
9. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
10. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
12. Descriptive set theory and definable forcing
پدیدآورنده: Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
13. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده: Miller, Arnold W., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
14. Dynamics with chaos and fractals /
پدیدآورنده: Marat Akhmet, Mehmet Onur Fen, Ejaily Milad Alejaily.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chaotic behavior in systems.,Fractals.,Chaotic behavior in systems.,Fractals.
رده :
QA614
.
8
15. Forcing idealized
پدیدآورنده: Zapletal, Jind۸rich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z37
2008
16. Forcing idealized
پدیدآورنده: Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z34F6
17. Incompleteness for higher-order arithmetic :
پدیدآورنده: Yong Cheng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Incompleteness theorems.,Incompleteness theorems.
رده :
QA9
.
54
.
C54
2019eb
18. Intuitionistic logic, model theory and forcing
پدیدآورنده: Fitting, Melvin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
19. Intuitionistic logic, modlel theory and forcing
پدیدآورنده: / Melvin Chris Fitting
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Model theory,Axiomatic set theory
رده :
511
.
8
F547
20. Norms on possibilities I : forcing with trees and creatures
پدیدآورنده: Roslanowski, Andrzej, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Forcing )Model theory(
رده :
QA
3
.
A475
no
.
671
